21. Extreme programming and agile methodes - XP/ Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004 : proceedings
پدیدآورنده : Carman Zannier, Hakan Erdogmus, Lowell Lindstorm ) eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Development -- Congresses ، Computer software,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3134
22. Extreme programming and agile methods : XP/Agile Universe 2002 : second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4-7, 2002 : proceedings
پدیدآورنده : Don Wells, Laurie Williams )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2418
23. Extreme programming and agile methods : XP/Agile Universe 2003 : third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003 : proceedings
پدیدآورنده : Frank Maurer, Don Wells )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2753
24. Extreme programming and agile processes in software engineering : 6th International Conference, XP 2005, Sheffield, UK , June 18-23, 2005; proceedings
پدیدآورنده : Hubert Baumeister, Michele Marchesi, Mike Holcombe )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3556
25. Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings
پدیدآورنده : Jutta Eckstein, Hubert Baumeister )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3092
26. Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, genova, Italy, May 25-29, 2003 : proceedings
پدیدآورنده : Michele Marchesi, Giancarlo Succi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2675
27. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
28. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
29. Formal methods for components and objects
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; Congresses. ; -Formal methods (Computer science) ; Congresses. ; Component software ; Congresses. ; Object
30. Formal methods for components and objects :
پدیدآورنده : Frank S. de Boer ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Component software, Congresses,Formal methods (Computer science), Congresses,Object-oriented programming (Computer science), Congresses
رده :
QA76
.
9
.
F67
F53
2002
31. Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
پدیدآورنده : Frank S. de Boer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3188
32. Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
پدیدآورنده : Frank S. de Boer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2852
33. Formal methods for components and objects : third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures
پدیدآورنده : Frank S. de Boer... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3657
34. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
35. Foundations of software technology and theoretical computer science
پدیدآورنده : V. Arvind, R. Ramanujam (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Computer software, Congresses.,Evolutionary programming (Computer science), Congresses.,Molecular computers, Congresses.,Quantum computers, Congresses.
36. Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings
پدیدآورنده : K.V. Nori, S. Kumar )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Programming -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
338
37. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
38. Foundations of software technology and theoretical computer science: eighth conference, Pune, India, December 21-23, 1988: proceedings
پدیدآورنده : K.V. Nori, S. Kumar )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer software,Congresses ، Computer programming
رده :
QA
76
.
L4
v
.
338
39. Foundations of software technology and theoretical computer science; seventh Confernce, Pune, India, December 17-19, 1987 : proceedings
پدیدآورنده : Kesav V. Nori )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
287